『Competing inheritance paths in dependent type theory: a case study in functional analysis』 - pogi-log

『Competing inheritance paths in dependent type theory: a case study in functional analysis』